projects
/
cargo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
3708b12
f49c883
)
Auto merge of #3632 - Susurrus:master, r=alexcrichton
author
bors
<bors@rust-lang.org>
Sun, 5 Feb 2017 22:29:03 +0000
(22:29 +0000)
committer
bors
<bors@rust-lang.org>
Sun, 5 Feb 2017 22:29:03 +0000
(22:29 +0000)
Document build badge for Gitlab CI
This doesn't make sense to merge until rust-lang/crates.io#539 is merged, but I figured I'd get it all spooled up since that PR is already ready for merging.
Trivial merge
projects / cargo.git / commitdiff